Remarks on the applications of paraconsistent logic to physics ∗
نویسنده
چکیده
In this paper we make some general remarks on the use of non-classical logics, in particular paraconsistent logic, in the foundational analysis of physical theories. As a case-study, we present a reconstruction of P. -D. Février’s ’logic of complementarity’ as a strict three-valued logic and also a paraconsistent version of it. At the end, we sketch our own approach to complementarity, which is based on a paraconsistent logic termed ’para-
منابع مشابه
Remarks on an Algebraic Semantics for Paraconsistent Nelson’s Logic1
In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson’s logic. In the present paper we show that NPc-lattices form a subvariety of the variety of commutative residuated lattices, we study congruences of NPc-lattices and some subvarieties of NPc-lattices.
متن کاملParaconsistent Knowledge Bases and Many-Valued Logic
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there are many potential applications of paraconsistent logics in knowledge bases. We present a paraconsistent many-valued logic with a simple and n...
متن کاملThe Logic of Complementarity
This paper is the sequel of a previous one where we have introduced a paraconsistent logic termed paraclassical logic to deal with ’complementary propositions’ [17]. Here, we enlarge upon the discussion by considering certain ’meaning principles’, which sanction either some restrictions of ’classical’ procedures or the utilization of certain ’classical’ incompatible schemes in the domain of the...
متن کاملPrediction of solar ultraviolet intensity by using Fuzzy Logic in the north-west of Iran
Introduction: Solar energy is one of the free sources, clean and environmentally friendly energy. Sun is the most important source of natural ultraviolet radiation that has a major role in the life of living beings. Industrial and medical applications of ultraviolet radiation have been clearly proven, like the production of vitamin D or treatment of many diseases, and also har...
متن کاملParaconsistent Query Answering Systems
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there are many potential applications of paraconsistent logics in query answering systems. We compare the paraconsistent and the non-monotonic solution...
متن کامل